download all originals (max 1 GB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| help | Text File | 25 | 803 b | 1992-07-02 |
| list | Text File | 6 | 219 b | 1992-07-02 |
| look | Text File | 5 | 194 b | 1992-07-02 |
| number | Text File | 6 | 279 b | 1992-07-02 |
| search | Text File | 17 | 821 b | 1992-07-02 |
| widen | Text File | 11 | 281 b | 1992-07-02 |